/*
 * RestartsManager.cuh
 *
 *  Created on: Feb 27, 2014
 *      Author: jaime
 */

#ifndef RESTARTSMANAGER_CUH_
#define RESTARTSMANAGER_CUH_

class RestartsManager {

public:
	//__device__ RestartsManager();
	__device__ virtual void signal_conflict() = 0;
	//__device__ virtual ~RestartManager();
	__device__ virtual bool should_restart() = 0;
};

#endif /* RESTARTSMANAGER_CUH_ */
